Skip to main content
Edoweb
Sie sind hier
Startseite
Volltexte
Filter (Auswahl)
Sacherschließung
Landeskunde Region Koblenz
(2)
Universität Koblenz-Landau, Informatik
(1)
Universität Koblenz-Landau , Informatik
(1)
Landeskunde
(1)
Information und Dokumentation
(1)
Informatik, Kybernetik
(1)
Informatik
(1)
Hochschule. Wissenschaft
(1)
Objektart
Monografie
(3)
Publikationstyp
Buch
(3)
Medium
Online-Ressource
(3)
Datenträger
(3)
Erscheinungsjahr
Person/Institution
Baumgartner, Peter
(3)
Furbach, Ulrich
(2)
Universität Koblenz-Landau. Institut für Informatik
(1)
Sinner, Alex
(1)
Pelzer, Björn
(1)
Groß-Hardt, Margret
(1)
3 Treffer
Titel
ID
E-Jahr
Zugriff
Objektart
Operations
Hyper Tableaux with equality
Baumgartner, Peter
|
Furbach, Ulrich
|
Pelzer, Björn
|
Universität Koblenz-Landau. Institut für Informatik
HT015288509
Monografie
Fachberichte Informatik : Living Book - Deduction, Slicing and Interaction : 2/2003
TT002234031
Monografie
Fachberichte Informatik: Automated Deduction Techniques for the Management of Personalized Documents : 2/2002
TT002234032
Monografie